Nuprl Definition : st-data
0,22
postcript
pdf
data(
tab
;
n
) == 2of(2of(2of(2of(
tab
))(
n
)))
latex
Definitions
2of(
t
)
FDL editor aliases
st-data
origin